libretto/libretto/CoreLib/|&|

|&|

object |&|
class Object
trait Matchable
class Any

Value members

Methods

def IXI[A, B, C, D]: A |&| B |&| C |&| D -⚬ A |&| C |&| B |&| D
def assocLR[A, B, C]: A |&| B |&| C -⚬ A |&| B |&| C
def assocRL[A, B, C]: A |&| B |&| C -⚬ A |&| B |&| C
def bimap[A, B, C, D](f: A -⚬ B, g: C -⚬ D): A |&| C -⚬ B |&| D
def left[B]: Functor[[x] =>> x |&| B]

Choice is covariant in the left argument.

def right[A]: Functor[[x] =>> A |&| x]

Choice is covariant in the right argument.

def swap[A, B]: A |&| B -⚬ B |&| A

Fields